Object-Free Definition of Categories
نویسندگان
چکیده
منابع مشابه
Object-Free Definition of Categories
Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. ...
متن کاملCosegmentation of object categories
Location of the internship: The internship will be jointly between the WILLOW team at INRIA Paris1 and the LEAR team at INRIAGrenoble2, and will be co-supervised by Jean Ponce and Cordelia Schmid, a ENS professor and a INRIA research director respectively. Both teams are specialized in computer vision, in particular visual recognition. Armand Joulin, a researcher at FaceBook, will be an externa...
متن کاملCategories of Components and Loop-free Categories
Given a groupoid G one has, in addition to the equivalence of categories E from G to its skeleton, a fibration F (Definition 1.11) from G to its set of connected components (seen as a discrete category). From the observation that E and F differ unless G[x, x] = {idx} for every object x of G, we prove there is a fibered equivalence (Definition 1.12) from C[Σ-1] (Proposition 1.1) to C/Σ (Proposit...
متن کاملOn Recognition of Object Categories
A high level representation of polyhedral scenes in terms of planes and corresponding coplanar sets of 3D line segments is used to develop a method for identifying categories of objects and features in the scenes. Plane intersections are used to establish links between all the planes that correspond to the visible surface of a particular object. The object's shape (as far as it is known) is the...
متن کاملFree compact 2-categories
Before one can attach a meaning to a sentence, one must distinguish different ways of parsing it. When analyzing a language with pregroup grammars, we are thus led to replace the free pregroup by a free compact strict monoidal category. Since a strict monoidal category is a 2-category with one 0-cell, we investigate the free compact 2-category generated by a given category, and we describe its ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2013
ISSN: 1898-9934,1426-2630
DOI: 10.2478/forma-2013-0021